
/* main
   ---- */
pre { 
  padding: 0px;
  line-height: 0px;
  font-size: 11pt;
  margin-bottom: 0.5em;
  margin-top: 0.5em;
}

td.numtd {
  text-align: right;
}

table {
  border-spacing: 0;
}

table.vars th {
  border: 1px solid slategray;
  font-size: 11pt;
}
table.vars td {
  border: 1px solid slategray;
  font-size: 11pt;
}

div.list-pane {
  float: left; 
  width: 60%;
  height: 60%;
}

div.vars-pane {
  height: 60%;
}

div#button-panel {
  float: left;
  width: 65%;
  height: 40px
}

div#speed-panel {
  float: left;
  width: 30%; 
  height: 40px
}

div#lists {
  overflow: scroll;
  height: 480px;
}

div#vars {
  overflow: scroll;
  height: 520px;
}

div.proc-pane {
  clear: both;
  height: 30%;
}

div#output {
  overflow: scroll;
  height: 120px;
  float: left; 
  width: 60%;
}

div#threads {
  overflow: scroll;
  height: 100px;
  padding: 10px;
}

div.footer {
  clear: both;
  margin-bottom: 0;
  height: 5%;
}
